button: don't use the border values for padding
authorCosimo Cecchi <cosimoc@gnome.org>
Tue, 5 Apr 2011 19:35:05 +0000 (15:35 -0400)
committerCosimo Cecchi <cosimoc@gnome.org>
Tue, 12 Apr 2011 21:14:31 +0000 (17:14 -0400)
commitb1d08fe0e9b79939847b1a072284bff6d26bffd7
tree3e7742ccd09a81ee4bfaf6093ab6d694a187f57f
parentf1a7be7f57234255b5c693285d8db499ca21f682
button: don't use the border values for padding

It's wrong, and makes it impossible to theme the button properly.

https://bugzilla.gnome.org/show_bug.cgi?id=646882
gtk/gtkbutton.c